- idUS
- Listar por autor
Listar por autor "Ramírez Martínez, Daniel"
Mostrando ítems 1-4 de 4
-
Ponencia
A Software Tool for Dealing with Spiking Neural P Systems
Ramírez Martínez, Daniel; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2007)Software simulators for P system are nowadays the main tool to carry out experiments in the eld of Membrane Computing. ...
-
Artículo
A software tool for verification of Spiking Neural P Systems
Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Ramírez Martínez, Daniel (Springer, 2008)The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is ...
-
Ponencia
How Does a P System Sound?
García Quismondo, Manuel; Gutiérrez Naranjo, Miguel Ángel; Ramírez Martínez, Daniel (Fénix Editora, 2010)P systems are computational devices versatile enough to represent many real-life scenarios. In this paper, we present a ...
-
Ponencia
Testing Einstein’s Formula on Brownian Motion Using Membrane Computing
Gálvez Santisteban, Manuel A.; Gutiérrez Naranjo, Miguel Ángel; Ramírez Martínez, Daniel; Rivero Gil, Elena (Fénix Editora, 2008)Brownian motion refers to erratic movements of small particles of solid matter suspended in a fluid and it is the basis ...